package rensoft.jre.io;

import java.io.FileFilter;

import cs.java.collections.List;




public interface Dir extends Path, Iterable<Path> {
  void copyTo(Dir destination, FileFilter filter);

  List<Path> getChilds();
}
